$\forall$${\it Rs}$:(Realizer List). R{-}names($\oplus$(${\it Rs}$)) $\sim$ concat(map($\lambda$$R$.R{-}names($R$);${\it Rs}$))